Reasoning about Action: An Argumentation - Theoretic Approach

We present a uniform non-monotonic solution to the problems of reasoning about action on the basis of an argumentation-theoretic approach. Our theory is provably correct relative to a sensible minimisation policy introduced on top of a temporal propositional logic. Sophisticated problem domains can be formalised in our framework. As much attention of researchers in the field has been paid to the traditional and basic problems in reasoning about actions such as the frame, the qualification and the ramification problems, approaches to these problems within our formalisation lie at heart of the expositions presented in this paper

Model-based learning for point pattern data

This article proposes a framework for model-based point pattern learning using point process theory. Likelihood functions for point pattern data derived from point process theory enable principled yet conceptually transparent extensions of learning tasks, such as classification, novelty detection and clustering, to point pattern data. Furthermore, tractable point pattern models as well as solutions for learning and decision making from point pattern data are developed

Methane emission factors from vietnamese rice production: Pooling data of 36 field sites for meta-analysis

Rice production is a significant source of greenhouse gas (GHG) emissions in the national budget of many Asian countries, but the extent of emissions varies strongly across agro-environmental zones. It is important to understand these differences in order to improve the national GHG inventory and effectively target mitigation options. This study presents a meta-analysis of CH4 database emission factors (EFs) from 36 field sites across the rice growing areas of Vietnam and covering 73 cropping seasons. The EFs were developed from field measurements using the closed chamber technique. The analysis for calculating baseline EFs in North, Central and South Vietnam in line with the Intergovernmental Panel on Climate Change (IPCC) Tier 2 methodology was specified for the three cropping seasons being early-(E), mid-(M) and late-year (L) seasons. Calculated average CH$_{4}$ EFs are given in kg ha$^{-1}$ d$^{-1}$ and reflect the distinct seasons in North (E: 2.21; L: 3.89), Central (E: 2.84; M+L: 3.13) and South Vietnam (E: 1.72; M: 2.80; L: 3.58). Derived from the available data of the edapho-hydrological zones of the Mekong River Delta, season-based EFs are more useful than zone-based EFs. In totality, these average EFs indicate an enormous variability of GHG emissions in Vietnamese rice production and represent much higher values than the IPCC default. Seasonal EFs from Vietnam exceeded IPCC defaults given for Southeast Asia corresponding to 160% (E), 240% (M) and 290% (L) of the medium value, respectively

Theory of differential inclusions and its application in mechanics

The following chapter deals with systems of differential equations with discontinuous right-hand sides. The key question is how to define the solutions of such systems. The most adequate approach is to treat discontinuous systems as systems with multivalued right-hand sides (differential inclusions). In this work three well-known definitions of solution of discontinuous system are considered. We will demonstrate the difference between these definitions and their application to different mechanical problems. Mathematical models of drilling systems with discontinuous friction torque characteristics are considered. Here, opposite to classical Coulomb symmetric friction law, the friction torque characteristic is asymmetrical. Problem of sudden load change is studied. Analytical methods of investigation of systems with such asymmetrical friction based on the use of Lyapunov functions are demonstrated. The Watt governor and Chua system are considered to show different aspects of computer modeling of discontinuous systems

Hidden attractors in fundamental problems and engineering models

Recently a concept of self-excited and hidden attractors was suggested: an attractor is called a self-excited attractor if its basin of attraction overlaps with neighborhood of an equilibrium, otherwise it is called a hidden attractor. For example, hidden attractors are attractors in systems with no equilibria or with only one stable equilibrium (a special case of multistability and coexistence of attractors). While coexisting self-excited attractors can be found using the standard computational procedure, there is no standard way of predicting the existence or coexistence of hidden attractors in a system. In this plenary survey lecture the concept of self-excited and hidden attractors is discussed, and various corresponding examples of self-excited and hidden attractors are considered

Zeta Inhibitory Peptide attenuates learning and memory by inducing NO-mediated downregulation of AMPA receptors

Zeta inhibitory peptide (ZIP), a PKMζ inhibitor, is widely used to interfere with the main- tenance of acquired memories. ZIP is able to erase memory even in the absence of PKMζ, via an unknown mechanism. We found that ZIP induces redistribution of the AMPARGluA1 in HEK293 cells and primary cortical neurons, and decreases AMPAR-mediated currents in the nucleus accumbens (NAc). These effects were mimicked by free arginine or by a modified ZIP in which all but the arginine residues were replaced by alanine. Redistribution was blocked by a peptidase-resistant version of ZIP and by treatment with the nitric oxide (NO)- synthase inhibitor L-NAME. ZIP increased GluA1-S831 phosphorylation and ZIP-induced redistribution was blocked by nitrosyl-mutant GluA1-C875S or serine-mutant GluA1-S831A. Introducing the cleavable arginine-alanine peptide into the NAc attenuated expression of cocaine-conditioned reward. Together, these results suggest that ZIP may act as an arginine donor, facilitating NO-dependent downregulation of AMPARs, thereby attenuating learning and memory

Gravitational Waves From Known Pulsars: Results From The Initial Detector Era

We present the results of searches for gravitational waves from a large selection of pulsars using data from the most recent science runs (S6, VSR2 and VSR4) of the initial generation of interferometric gravitational wave detectors LIGO (Laser Interferometric Gravitational-wave Observatory) and Virgo. We do not see evidence for gravitational wave emission from any of the targeted sources but produce upper limits on the emission amplitude. We highlight the results from seven young pulsars with large spin-down luminosities. We reach within a factor of five of the canonical spin-down limit for all seven of these, whilst for the Crab and Vela pulsars we further surpass their spin-down limits. We present new or updated limits for 172 other pulsars (including both young and millisecond pulsars). Now that the detectors are undergoing major upgrades, and, for completeness, we bring together all of the most up-to-date results from all pulsars searched for during the operations of the first-generation LIGO, Virgo and GEO600 detectors. This gives a total of 195 pulsars including the most recent results described in this paper.United States National Science FoundationScience and Technology Facilities Council of the United KingdomMax-Planck-SocietyState of Niedersachsen/GermanyAustralian Research CouncilInternational Science Linkages program of the Commonwealth of AustraliaCouncil of Scientific and Industrial Research of IndiaIstituto Nazionale di Fisica Nucleare of ItalySpanish Ministerio de Economia y CompetitividadConselleria d'Economia Hisenda i Innovacio of the Govern de les Illes BalearsNetherlands Organisation for Scientific ResearchPolish Ministry of Science and Higher EducationFOCUS Programme of Foundation for Polish ScienceRoyal SocietyScottish Funding CouncilScottish Universities Physics AllianceNational Aeronautics and Space AdministrationOTKA of HungaryLyon Institute of Origins (LIO)National Research Foundation of KoreaIndustry CanadaProvince of Ontario through the Ministry of Economic Development and InnovationNational Science and Engineering Research Council CanadaCarnegie TrustLeverhulme TrustDavid and Lucile Packard FoundationResearch CorporationAlfred P. Sloan FoundationAstronom

Quantum numbers of the X(3872)X(3872) state and orbital angular momentum in its ρ0Jψ\rho^0 J\psi decay

Angular correlations in $B^+\to X(3872) K^+$ decays, with $X(3872)\to \rho^0 J/\psi$, $\rho^0\to\pi^+\pi^-$ and $J/\psi \to\mu^+\mu^-$, are used to measure orbital angular momentum contributions and to determine the $J^{PC}$ value of the $X(3872)$ meson. The data correspond to an integrated luminosity of 3.0 fb$^{-1}$ of proton-proton collisions collected with the LHCb detector. This determination, for the first time performed without assuming a value for the orbital angular momentum, confirms the quantum numbers to be $J^{PC}=1^{++}$. The $X(3872)$ is found to decay predominantly through S wave and an upper limit of $4\%$ at $95\%$ C.L. is set on the fraction of D wave.Comment: 16 pages, 4 figure

First narrow-band search for continuous gravitational waves from known pulsars in advanced detector data

Spinning neutron stars asymmetric with respect to their rotation axis are potential sources of continuous gravitational waves for ground-based interferometric detectors. In the case of known pulsars a fully coherent search, based on matched filtering, which uses the position and rotational parameters obtained from electromagnetic observations, can be carried out. Matched filtering maximizes the signalto- noise (SNR) ratio, but a large sensitivity loss is expected in case of even a very small mismatch between the assumed and the true signal parameters. For this reason, narrow-band analysis methods have been developed, allowing a fully coherent search for gravitational waves from known pulsars over a fraction of a hertz and several spin-down values. In this paper we describe a narrow-band search of 11 pulsars using data from Advanced LIGO’s first observing run. Although we have found several initial outliers, further studies show no significant evidence for the presence of a gravitational wave signal. Finally, we have placed upper limits on the signal strain amplitude lower than the spin-down limit for 5 of the 11 targets over the bands searched; in the case of J1813-1749 the spin-down limit has been beaten for the first time. For an additional 3 targets, the median upper limit across the search bands is below the spin-down limit. This is the most sensitive narrow-band search for continuous gravitational waves carried out so far